/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package argtrust.argsys;

import argtrust.basics.ArgTrustObject;
//import edu.cuny.argtrust.logic.LogicObject;
import argtrust.logic.InferenceNode;

/**
 *
 * @author Yuqing Tang <ytang@cs.gc.cuny.edu>
 */
public class DefeatPoint extends ArgTrustObject {

    protected InferenceNode mDefeaterInf;
    protected InferenceNode mDefeateeInf;

    public DefeatPoint() {
    }

    public DefeatPoint(InferenceNode defeater_inf,
            InferenceNode defeatee_inf) {
        mDefeaterInf = defeater_inf;
        mDefeateeInf = defeatee_inf;
    }

    public InferenceNode getDefeateeInf() {
        return mDefeateeInf;
    }

    public void setDefeateeInf(InferenceNode mDefeateeInf) {
        this.mDefeateeInf = mDefeateeInf;
    }

    public InferenceNode getDefeaterInf() {
        return mDefeaterInf;
    }

    public void setDefeaterInf(InferenceNode mDefeaterInf) {
        this.mDefeaterInf = mDefeaterInf;
    }


}
